Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·10h
📊Static Analysis
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·1d
✅Archive Validation
Python isdigit vs isnumeric
dev.to·18h·
Discuss: DEV
✅Format Validation
DNS at IETF 123
potaroo.net·15h
🌐DNS Security
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·8h·
Discuss: Hacker News
🌳Persistent Data Structures
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·2d
⚗️Algebraic Coding
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·4d
🔗Functional Compilers
Software books I wish I could read
buttondown.com·1h
🔄Language Evolution
How we made JSON.stringify more than twice as fast
v8.dev·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🌊Streaming Compression
Extensions and Shadows (9)
sites.psu.edu·2d
✨Effect Handlers
Building a Real Estate Tokenization dApp with Flare's Zero-Fee Oracles
dev.to·2d·
Discuss: DEV
🚚Data Migration
How the Lean language brings math to coding and coding to math
amazon.science·19h·
Discuss: Hacker News
🔬Lean
Talk Highlights: Documenting the Design of the Linux Kernel – Chuck Wolber, The Boeing Company; Kate Stewart, The Linux Foundaiton; Gabriele Paoloni, Red Hat
elisa.tech·7h
📜Proof Carrying Code
Relative Completeness of Incorrectness Separation Logic
arxiv.org·1d
🧠Separation Logic
We beat GPT-4o's baseline with a simple re-prompting loop
aimon.ai·15h·
Discuss: Hacker News
🌳Incremental Parsing
What you see may not be what you get
thoughtbot.com·14h
🔣Unicode
A safer memcpy with very limited use cases
subethasoftware.com·4d
🧪Binary Fuzzing
Why Computer Science Is No Good, Redux
cacm.acm.org·20h
🎯Performance Proofs
We trained LLM to find reentrancy vulnerabilities in smart contracts
blog.unvariant.io·23h·
Discuss: Hacker News
🧪Binary Fuzzing
The hiring test that defeated AI
bitecode.dev·22h·
Discuss: Hacker News
✅Shell Verification